Filter
Datadesign
Filter
This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical …
Robotics is the science that attempts to forge an intelligent, computational connection between perception and action. Perhaps the most fundamental problems in robotics today are …
The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler in the late 1980s to include those computer theoretical and practical developments as tools to …
This volume constitutes the proceedings of the 5th International Conference on Computer Analysis of Images and Patterns (CAIP'93), held in Budapest, Hungary, in September 1993. …
Attribute grammars have shown themselves to be a useful formalism for specifying the syntax and the static semantics of programming languages. They are also useful for …
This book presents a modern and attractive approach to computer integrated manufacturing (CIM) by stressing the crucial role of information management aspects. The 31 contributions …
This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in …
This book constitutes the refereed proceedings of the 6th International Workshop of Field-Programmable Logic and Applications, FPL '96, held in Darmstadt, Germany, in September …
This year the CDVE conference celebratedits fourth annual eventin an exciting city—Shanghai, China. The cooperative design, visualization and engineering …
This book contains the papers presented at the 13th International Workshop on Field Programmable Logic and Applications (FPL) held on September 1–3, 2003. The conference was hosted …